Implementing Mapping Composition ( Extended Technical Report )
نویسندگان
چکیده
Mapping composition is a fundamental operation in metadata driven applications. Given a mapping over schemas σ1, σ2, and σ3, the composition problem is to find an equivalent mapping over only σ1 and σ3. We describe a new composition algorithm that targets practical applications. It incorporates view unfolding. It eliminates as many σ2 symbols as possible, even if not all can be eliminated. It covers constraints expressed using arbitrary monotone relational operators and, to a lesser extent, non-monotone operators. And it introduces the new technique of left composition. We describe our implementation, explain how to extend it to support user-defined operators, and present experimental results which validates its effectiveness.
منابع مشابه
Weighted Composition Operators Between Extended Lipschitz Algebras on Compact Metric Spaces
In this paper, we provide a complete description of weighted composition operators between extended Lipschitz algebras on compact metric spaces. We give necessary and sufficient conditions for the injectivity and the sujectivity of these operators. We also obtain some sufficient conditions and some necessary conditions for a weighted composition operator between these spaces to be compact.
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملAn Integrated Methodology for Creating Composed Web / Grid Services - Technical Report
This thesis presents an approach to design, specify, validate, verify, implement, and evaluate composed web/grid services. Web and grid services can be composed to create new services with complex behaviours. The BPEL (Business Process Execution Language) standard was created to enable the orchestration of web services, but there have also been investigation of its use for grid services. BPEL s...
متن کاملTechnical Challenges of Implementing Fair Values in Financial Reporting of Iran: Emphasizing on IFRS13 Requirements
Objective: By the full adoption of IFRS, measurement and disclosure of fair values become more common in Iranian financial reporting. The present study aims to identify the technical challenges of fair value measurement and disclosure in accordance with the proposed framework in IFRS13 as well as technical factors underlying resistance to fair-value based financial reporting from accounting and...
متن کاملBoxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism (Extended Version)
Higher-order abstract syntax is a simple technique for implementing languages with functional programming.Object variables and binders are implemented by variables and binders in the host language. By using thistechnique, one can avoid implementing common and tricky routines dealing with variables, such as capture-avoiding substitution. However, despite the advantages this techn...
متن کامل